Location-domination in line graphs

A set $D$ of vertices of a graph $G$ is locating if every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N\left(u\right)\cap D\ne N\left(v\right)\cap D$, where $N\left(u\right)$ denotes the open neighborhood of $u$. If $D$ is also a dominating set (total dominating set), it is called a locating-dominating set (respectively, locating-total dominating set) of $G$. A graph $G$ is twin-free if every two distinct vertices of $G$ have distinct open and closed neighborhoods. It is conjectured (Garijo et al., 2014 [15]) and (Foucaud and Henning, 2016 [12]) respectively, that any twin-free graph $G$ without isolated vertices has a locating-dominating set of size at most one-half its order and a locating-total dominating set of size at most two-thirds its order. In this paper, we prove these two conjectures for the class of line graphs. Both bounds are tight for this class, in the sense that there are infinitely many connected line graphs for which equality holds in the bounds.     

Growth and homogeneity of matchbox manifolds

A matchbox manifold with one-dimensional leaves which has equicontinuous holonomy dynamics must be a homogeneous space, and so must be homeomorphic to a classical Vietoris solenoid. In this work, we consider the problem, what can be said about a matchbox manifold with equicontinuous holonomy dynamics, and all of whose leaves have at most polynomial growth type? We show that such a space must have a finite covering for which the global holonomy group of its foliation is nilpotent. As a consequence, we show that if the growth type of the leaves is polynomial of degree at most 3, then there exists a finite covering which is homogeneous. If the growth type of the leaves is polynomial of degree at least 4, then there are additional obstructions to homogeneity, which arise from the structure of nilpotent groups.     

On null sequences for Banach operator ideals,trace duality and approximation properties

Let be a Banach operator ideal and X be a Banach space. We undertake the study of the vector space of ‐null sequences of Carl and Stephani on X , , from a unified point of view after we introduce a norm which makes it a Banach space. To give accurate results we consider local versions of the different types of accessibility of Banach operator ideals. We show that in the most common situations, when is right‐accessible for , behaves much alike . When this is the case we give a geometric tensor product representation of . On the other hand, we show an example where the representation fails. Also, via a trace duality formula, we characterize the dual space of . We apply our results to study some problems related with the ‐approximation property giving a trace condition which is used to solve the remaining case () of a problem posed by Kim (2015). Namely, we prove that if a dual space has the ‐approximation property then the space has the ‐approximation property.     

Totally ordered sets and the prime spectra of rings

Let T be a totally ordered set and let D(T) denotes the set of all cuts of T. We prove the existence of a discrete valuation domain O_v such that T is order isomorphic to two special subsets of Spec(O_v). We prove that if A is a ring (not necessarily commutative), whose prime spectrum is totally ordered and satisfies (K2), then there exists a totally ordered set U?Spec(A) such that the prime spectrum of A is order isomorphic to D(U). We also present equivalent conditions for a totally ordered set to be a Dedekind totally ordered set. At the end, we present an algebraic geometry point of view.     

On disjunctions of algebraic sets in completely simple semigroups

A semigroup S is called an equational domain if any finite union of algebraic sets over S is algebraic. We give some necessary and su?cient conditions for a completely simple semigroup to be an equational domain.     

Continuous functions with impermeable graphs

We construct a Hölder continuous function on the unit interval which coincides in uncountably (in fact continuum) many points with every function of total variation smaller than 1 passing through the origin. We conclude that this function has impermeable graph—one of the key concepts introduced in this paper—and we present further examples of functions both with permeable and impermeable graphs. Moreover, we show that typical (in the sense of Baire category) continuous functions have permeable graphs. The first example function is subsequently used to construct an example of a continuous function on the plane which is intrinsically Lipschitz continuous on the complement of the graph of a Hölder continuous function with impermeable graph, but which is not Lipschitz continuous on the plane. As another main result, we construct a continuous function on the unit interval which coincides in a set of Hausdorff dimension 1 with every function of total variation smaller than 1 which passes through the origin.     

分担集合的亚纯函数的正规性*

本文研究了亚纯函数及其 k 阶导数分担两个不同集合的亚纯函数族的正规性问题.证明了如下结论: 设 F 是平面区域 D上的亚纯函数族, 其中函数的零点重数至少为 k+1. 设S₁, S₂是两个集合,且|S₁|=m, |S₂|=n, S₂ ≠ 0, 这里m, n是正整数. 如果任意f(z) ∈ F,满足f(z) ∈ S₁?f^(k)(z) ∈ S₂, z ∈ D, 则 F 在区域 D 上正规.本文的研究结果是对刘晓俊和庞学诚[刘晓俊, 庞学诚. 分担值与正规族 [J].数学学报(中文版),2007, 50(2):409--412] 2007年研究结果的改进.     

Characterization and computation of control invariant sets for linear impulsive control systems

Impulsive control systems are suitable to describe and control a venue of real-life problems, going from disease treatment to aerospace guidance. The main characteristic of such systems is that they evolve freely in-between impulsive actions, which makes it difficult to guarantee its permanence in a given state-space region. In this work, we develop a method for characterizing and computing approximations to the maximal control invariant sets for linear impulsive control systems, which can be explicitly used to formulate a set-based model predictive controller. We approach this task using a tractable and non-conservative characterization of the admissible state sets, namely the states whose free response remains within given constraints, emerging from a spectrahedron representation of such sets for systems with rational eigenvalues. The so-obtained impulsive control invariant set is then explicitly used as a terminal set of a predictive controller, which guarantees the feasibly asymptotic convergence to a target set containing the invariant set. Necessary conditions under which an arbitrary target set contains an impulsive control invariant set (and moreover, an impulsive control equilibrium set) are also provided, while the controller performance are tested by means of two simulation examples.     

Equations of motion for mechanical systems: A unified approach

This paper presents a unified framework from which emerge the Lagrange equations, the Gibbs-Appell Equations and the Generalized Inverse Equations for describing the motion of constrained mechanical systems. The unified approach extends the applicability of the first two approaches to systems where the constraints are non-linear functions of the generalized velocities and are not necessarily independent. Furthermore, the approach leads to the Explicit Gibbs-Appell Equations.